Delaware And NotWilliam B. Dobyns
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 007A18 | W. Reisig [États-Unis] | On Gurevich's theorem on sequential algorithms |
| 009270 | Dieter Hofbauer [États-Unis] | Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity |
| 009408 | Bernhard Westfechtel [États-Unis] | Ein graphbasiertes Managementsystem für dynamische Entwicklungsprozesse |
| 009F50 | Hans Zantema ; Alfons Geser [États-Unis] | A Complete Characterization of Termination of 0p 1q→ 1r 0s |
| 00A980 | Peter Ladkin [États-Unis] ; Leslie Lamport [États-Unis] ; Bryan Olivier ; Denis Roegel | Lazy caching in TLA |
| 00BC04 | Bernhard Steffen [États-Unis] ; Tiziana Margaria [États-Unis] ; Volker Braun [États-Unis] | The Electronic Tool Integration platform: concepts and design |
| 00DE61 | Deepak Kapur [États-Unis] ; G. Sivakumar [États-Unis] ; Hantao Zhang [États-Unis] | A new method for proving termination of AC-rewrite systems |
| This area was generated with Dilib version V0.6.33. |  |